A477479-ОХФ, A507130-ОХФ, A507626-ОХФ, A507630-ОХФ, A873322-ОХФ Гильберт, Давид Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики). [Т. 1] : Логические исчисления и формализация арифметики. - Москва : Наука. Гл. ред. физ.-мат. лит., 1979. - 557, [3] с. - ISBN [Б. и.] (в пер.) : 35.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- исчисления высказываний -- рекурсии Доп. точки доступа: Бернайс, Пауль Экземпляры всего: 5 ОХФ (5) |
A563558-ОХФ, A563559-ОХФ, A563560-ОХФ, A563561-ОХФ, A563562-ОХФ, A564825-ОХФ, A873323-ОХФ Гильберт, Давид Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики). [Т. 2] : Теория доказательств. - Москва : Наука. Гл. ред. физ.-мат. лит., 1982. - 652, [4] с. - ISBN [Б. и.] (в пер.) : 40.00 р.
Рубрики: математика--математический анализ Кл.слова (ненормированные): математическая логика -- формализм Доп. точки доступа: Бернайс, Пауль Экземпляры всего: 7 ОХФ (7) |